public record Param(int i) {
}